Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination

This paper is intended to provide an introduction to cut elimination which is accessible to a broad mathematical audience. Gentzen's cut elimination theorem is not as well known as it deserves to be, and it is tied to a lot of interesting mathematical structure. In particular we try to indicate some dynamical and combinatorial aspects of cut elimination, as well as its connections to complexity theory. We discuss two concrete examples where one can see the structure of short proofs with cuts, one concerning feasible numbers and the other concerning "bounded mean oscillation" from real analysis

A ameaça de um mundo utópico: a estética pós-romântica da “Melusina” em Nós de Zamyatin

This work analyses the famous anti-utopian novel "My" ("We", in English) by Evgenij Zamyatin, written in Russian in 1920 and published for the first time in English in the United States in 1924. The novel was banned in the Soviet Union and published in the original language only in 1988. Writing a review about it George Orwell was one of the first commentators to recognize its innovative scope and crucial socio-political meaning, calling it «a study of the Machine, the genie that man has thoughtlessly let out of its bottle and cannot be put back again» (Orwell, 1946). We will examine how the author succeeds to construct an evident contrast between the Utopia of the new, exaggeratedly futuristic world of the machines  in the "Single State" of the imaginary XXVI century - where the novel is set and where the weather is always sunny, - and the cultural and aesthetic references to the Modernism of the actual early XX century (mainly ”“ to post-romantic and pre-revolutionary Russia), that seem here to be loaded with a strong subversive potential against the utopian and collectivistic State of “We”.Esse ensaio analisará o romance anti-utópico My (Nós, em português) de Evgenij Zamyatin, escrito em russo em 1920 e publicado pela primeira vez em inglês nos Estados Unidos em 1924. O romance foi banido na União Soviética e publicado no idioma original apenas em 1988. Examinaremos como o autor interpreta a utopia do novo mundo exageradamente futurista das máquinas do “Estado Único” do imaginário do século XXVI. Em particular, consideraremos as referências culturais, pictóricas, imagéticas e estéticas do modernismo da Rússia pré-revolucionária porque no romance elas são carregadas de um forte potencial subversivo contra a ideia do estado utópico e coletivista

Il ‘libertinismo’ di Pečorin. Les liaisons dangereuses di Choderlos de Laclos nell'ambito della psicologia creativa di M. Ju. Lermontov, della sua opera e del suo comportamento culturale

Questo lavoro si articola in quattro capitoli, ed in due parti. La prima parte comprende il capitolo I ed il capitolo II, che, se sfioreranno solamente l’argomento ‘Lermontov’, fungeranno altresì da necessari appoggi teorici e storico-letterari in funzione del secondo nucleo di ricerca, sviluppato nella seconda parte, e concentrato, invece, sull’analisi dell’ opera in prosa di M. Ju. Lermontov e dei suoi rapporti letterari con il romanzo di Choderlos de Laclos Les liaisons dangereuses. Il primo capitolo, in un certo senso preliminare allo sviluppo del lavoro di Tesi vero e proprio, ha lo scopo di definire un genere, e si è reso necessario poichè tenta di colmare, per quanto è possibile, una sorta di lacuna in ambito ermeneutico e storico-critico riguardante una parte della letteratura in lingua russa: il quesito da cui parte la mia ricerca in questo particolare ambito è difatti il seguente: esiste o meno una prosa russa ‘libertina’, così come è esistita la prosa libertina francese, o quella inglese, circoscritte, queste ultime, fra il XVIII ed il primo XIX secolo, e di cui il romanzo di Laclos è il rappresentante più celebre ? Esiste, o, di contro, non vi è un vero e proprio filone omogeneo, ma una serie di singole opere letterarie, appartenenti ad un periodo storico ben definito (i primi decenni del XIX secolo), che, arricchendosi di riferimenti culturali e letterari stranieri (in primo luogo, francesi), per poi rielaborarli in chiave propria, possono presentare tratti prettamente ‘libertini’ nel senso normativo del termine corrente, termine stesso che, da parte sua, attraverso gli anni e gli studi, è approdato solo recentemente ad una certa stabilità semantica ? Sicuramente, in ambito russo, esistono, in versi, opere ‘libertine’ in senso più lato, e non si tratta solo, per riportare qualche celebre esempio, del ciclo di opere della Barkoviana, o della Gavriliada di Puškin, o degli Junkerskije poemy di Lermontov dal lessico e dall’argomento scabroso, ma vi sono anche, come vedremo, alcune insospettabili opere più moderne, in prosa , che riferendosi ai più celebri esempi di raffinato libertinismo letterario di derivazione occidentale, risultano ancorate ad esso da solide basi filosofiche e teoriche. Ovviamente, non sarà questa la sede individuare tali opere una ad una, (ci limiteremo, nel II capitolo, a fornire degli esempi da A. S. Puškin, secondo gli studi più recenti sull’argomento, e a proporre nella seconda parte della tesi un’analisi nuova di alcune opere di M. Ju. Lermontov in questo senso) il loro studio richiederebbe troppo tempo, e rischierebbe di portare fuori tema un lavoro che già si basa, nella prima parte, su un doppio binario: da un lato la disamina del ‘fenomeno’ letterario e critico della letteratura libertina in Russia, attraverso un excursus ed un breve consuntivo di cosa intenda, da una lato, la critica letteraria mondiale più autorevole con tale definizione di genere, e, dall’altro, la critica letteraria russa, di fronte all’analisi di alcune opere da essa definite ‘nepristojnyje’ o ‘obcesnnyje’, dall’altra lo studio, totalmente nuovo, basato su fonti storiche, letterarie e su alcuni materiali d’archivio, della ricezione del romanzo Les liaisons dangereuses di Choderlos de Laclos in terra russa, attraverso lo studio preliminare della prima traduzione delle Liaisons nella lingua di Puškin, e della sua peculiare storia. La seconda parte della tesi, che sarà preceduta a sua volta da una introduzione, riguarderà l’ultima parte del lavoro di ricerca (capitoli III e IV): lo studio macro e microtestuale dell’opera di M. Ju. Lermontov in relazione al genere letterario libertino in prosa, e, in particolare, al romanzo di Laclos, anche attraverso uno studio della memorialistica e della produzione letteraria ‘satellite’ che ebbe per argomento il ‘personaggio’ M. Ju. Lermontov e la formazione di una sua biografia letteraria ‘mitizzata’, che lo volle cristallizzare nella figura del ‘seduttore’

Chromosomal periodicity and positional networks of genes in Escherichia coli

Escherichia coli periodic gene distribution is identified for a periodic interval of 33 kb.Two positional networks of genes are discovered by studying gene periodic distribution: one is driven by metabolic genes and the other by genes involved in cellular processing and signaling.A functional core of Escherichia coli genes drives gene periodic distribution.A few chromosomal regions that preserve gene transcription profiles across environmental changes are identified.This single genome analysis approach can be taken as a footprint for a large-scale bacterial and archaeal periodic distribution analysis

Fast and Functional Structured Data Generators Rooted in Out-of-Equilibrium Physics

In this study, we address the challenge of using energy-based models to produce high-quality, label-specific data in complex structured datasets, such as population genetics, RNA or protein sequences data. Traditional training methods encounter difficulties due to inefficient Markov chain Monte Carlo mixing, which affects the diversity of synthetic data and increases generation times. To address these issues, we use a novel training algorithm that exploits non-equilibrium effects. This approach, applied on the Restricted Boltzmann Machine, improves the model's ability to correctly classify samples and generate high-quality synthetic data in only a few sampling steps. The effectiveness of this method is demonstrated by its successful application to four different types of data: handwritten digits, mutations of human genomes classified by continental origin, functionally characterized sequences of an enzyme protein family, and homologous RNA sequences from specific taxonomies.Comment: 15 page

E-learning e futuri studenti in mobilità internazionale. Riflessioni su aspetti e potenzialità di un corso di lingua italiana

The A1 online Italian course offered by the CLA (University Linguistic Centre) of the University of Perugia, is one of the results achieved during various research projects, which has contributed, on the one hand, to the internationalization of the Institution, on the other, to the enhancement of digital technologies providing future university mobility students with the opportunity to acquire linguistic-cultural knowledge, even before the beginning of their mobility exchange programme in Italy. The experience reported in this article reflects on an evolving work, describing its design phase – course structure, selection and creation of linguistic and didactic materials, tools available in the Moodle open-source learning platform – and its subsequent phases of course activation and verification. Throughout the entire project, we focused on two fundamental aspects: inspiring and maintaining student motivation in addition to constructing an assisted, and above all, interactive self-learning path